a^mb^n where